[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 139, 147, 162, 169, 172, 173, 174, 180, 181, 182, 183, 184, 185, 190, 198, 213, 220, 223, 224, 225, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330 }

B grade: { }

C grade: { 259, 260, 301, 302 }

F grade: { 135, 136, 137, 138, 140, 141, 142, 143, 144, 145, 146, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 163, 164, 165, 166, 167, 168, 170, 171, 175, 176, 177, 178, 179, 186, 187, 188, 189, 191, 192, 193, 194, 195, 196, 197, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 214, 215, 216, 217, 218, 219, 221, 222, 226, 227, 228, 229, 230 }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 30, 37, 40, 44, 48, 50, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 73, 74, 76, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 108, 111, 112, 113, 115, 116, 117, 119, 120, 121, 122, 123, 124, 126, 127, 129, 131, 132, 133, 134, 136, 138, 139, 140, 142, 144, 146, 147, 148, 150, 151, 152, 154, 155, 156, 157, 162, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 177, 179, 181, 183, 187, 189, 190, 191, 193, 195, 197, 199, 201, 202, 203, 205, 206, 207, 208, 213, 216, 217, 218, 219, 221, 222, 223, 225, 226, 228, 230, 232, 234, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 256, 259, 260, 264, 265, 266, 267, 269, 270, 271, 273, 274, 275, 277, 278, 280, 281, 283, 285, 286, 287, 288, 289, 290, 291, 293, 294, 295, 296, 297, 298, 300, 301, 302, 306, 307, 308, 309, 311, 312, 313, 315, 316, 317, 319, 322, 323, 325, 327, 328, 329, 330 }

B grade: { 75, 77, 89, 110, 114, 118, 128, 130, 135, 137, 141, 143, 145, 149, 153, 158, 159, 160, 161, 163, 164, 176, 178, 186, 188, 192, 194, 196, 200, 204, 209, 210, 211, 212, 214, 215, 227, 229, 254, 255, 257, 258, 261, 262, 263, 268, 272, 276, 279, 282, 284, 292, 299, 303, 304, 305, 310, 314, 318, 320, 321, 324, 326 }

C grade: { 72, 125, 180, 182, 184, 185, 198, 220, 224, 231, 233, 235, 236 }

F grade: { 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 38, 39, 41, 42, 43, 45, 46, 47, 49, 51, 104, 105, 106, 107, 109 }

2.1.3 Maple

A grade: { 4, 10, 16, 22, 30, 37, 44, 55, 60, 64, 66, 68, 89, 94, 99, 102, 119, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 162, 169, 172, 173, 174, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 213, 223, 224, 225, 231, 232, 233, 234, 235, 236, 240, 246, 251, 256, 269, 292, 296, 298, 300, 309, 311, 313, 315, 317, 319 }

B grade: { 25, 48, 50, 52, 111, 113, 115, 121, 220, 267, 271, 273, 275, 277 }

C grade: { 103, 117, 259, 261, 262, 263, 301, 303, 304, 305 }

F grade: { 1, 2, 3, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 38, 39, 40, 41, 42, 43, 45, 46, 47, 49, 51, 53, 54, 56, 57, 58, 59, 61, 62, 63, 65, 67, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 90, 91, 92, 93, 95, 96, 97, 98, 100, 101, 104, 105, 106, 107, 108, 109, 110, 112, 114, 116, 118, 120, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 163, 164, 165, 166, 167, 168, 170, 171, 175, 176, 177, 178, 179, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 214, 215, 216, 217, 218, 219, 221, 222, 226, 227, 228, 229, 230, 237, 238, 239, 241, 242, 243, 244, 245, 247, 248, 249, 250, 252, 253, 254, 255, 257, 258, 260, 264, 265, 266, 268, 270, 272, 274, 276, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 293, 294, 295, 297, 299, 302, 306, 307, 308, 310, 312, 314, 316, 318, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330 }

2.1.4 Maxima

A grade: { 4, 10, 22, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 89, 94, 102, 103, 104, 105, 106, 107, 108, 109, 139, 147, 162, 190, 198, 213, 240, 292 }

B grade: { 1, 2, 3, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 69, 72, 73, 86, 87, 88, 90, 91, 92, 93, 95, 96, 97, 98, 99, 100, 101, 122, 123, 124, 125, 126, 135, 136, 137, 138, 140, 141, 142, 143, 144, 145, 146, 148, 169, 172, 173, 174, 186, 187, 188, 189, 191, 192, 193, 194, 195, 196, 197, 199, 220, 223, 224, 225, 246, 256, 259, 260, 261, 262, 263, 296, 298, 300, 301, 302, 303, 304, 305 }

C grade: { }

F grade: { 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 70, 71, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 127, 128, 129, 130, 131, 132, 133, 134, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 163, 164, 165, 166, 167, 168, 170, 171, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 214, 215, 216, 217, 218, 219, 221, 222, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 241, 242, 243, 244, 245, 247, 248, 249, 250, 251, 252, 253, 254, 255, 257, 258, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 293, 294, 295, 297, 299, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 30, 37, 44, 48, 69, 70, 71, 72, 73, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 122, 123, 124, 125, 126, 135, 136, 137, 138, 139, 141, 142, 143, 144, 145, 148, 149, 162, 172, 186, 188, 190, 191, 192, 193, 194, 196, 197, 199, 200, 213, 223, 246, 251, 256, 259, 261, 262, 264, 296, 300, 301, 303, 304, 306 }

B grade: { 50, 52, 140, 146, 147, 169, 173, 174, 187, 189, 195, 198, 220, 224, 225, 240, 263, 265, 292, 298, 305, 307 }

C grade: { 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 38, 39, 40, 41, 42, 43, 45, 46, 47, 49, 51, 104, 105, 106, 107, 108, 109, 260, 302 }

F grade: { 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 127, 128, 129, 130, 131, 132, 133, 134, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 163, 164, 165, 166, 167, 168, 170, 171, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 214, 215, 216, 217, 218, 219, 221, 222, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 241, 242, 243, 244, 245, 247, 248, 249, 250, 252, 253, 254, 255, 257, 258, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 293, 294, 295, 297, 299, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330 }

2.1.6 Sympy

A grade: { 4, 5, 6, 10, 11, 12, 16, 22, 25, 30, 37, 44, 89, 90, 94, 95, 99, 102, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 162, 172, 173, 174, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 213, 224, 240, 292 }

B grade: { 17, 18, 100 }

C grade: { 31, 32, 38, 39, 45, 46 }

F grade: { 1, 2, 3, 7, 8, 9, 13, 14, 15, 19, 20, 21, 23, 24, 26, 27, 28, 29, 33, 34, 35, 36, 40, 41, 42, 43, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 91, 92, 93, 96, 97, 98, 101, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 163, 164, 165, 166, 167, 168, 169, 170, 171, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330 }

2.1.7 Giac

A grade: { 25, 27, 28, 29, 30, 34, 35, 36, 37, 44, 48, 50, 103, 105, 107, 135, 136, 137, 138, 140, 141, 142, 148, 186, 187, 188, 193, 195, 199, 262, 304 }

B grade: { 1, 2, 3, 7, 8, 9, 73, 86, 87, 88, 91, 92, 93, 126, 139, 143, 144, 145, 146, 147, 149, 189, 190, 191, 192, 194, 196, 197, 198, 200, 263, 305 }

C grade: { 26, 33, 40, 47, 49, 51, 104, 106, 108, 260, 302 }

F grade: { 4, 5, 6, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 31, 32, 38, 39, 41, 42, 43, 45, 46, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 89, 90, 94, 95, 96, 97, 98, 99, 100, 101, 102, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 127, 128, 129, 130, 131, 132, 133, 134, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 261, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 303, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330 }

2.1.8 Mupad

A grade: { }

B grade: { 1, 2, 3, 4, 7, 8, 9, 10, 13, 14, 15, 16, 19, 20, 21, 22, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 40, 42, 43, 44, 47, 49, 51, 55, 60, 64, 66, 68, 69, 70, 71, 72, 73, 83, 86, 87, 88, 89, 91, 92, 93, 94, 96, 97, 98, 99, 101, 102, 103, 104, 105, 106, 107, 108, 109, 111, 113, 115, 117, 119, 121, 122, 123, 124, 125, 126, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 162, 169, 172, 173, 174, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 213, 220, 223, 224, 225, 231, 232, 233, 234, 235, 236, 240, 246, 251, 256, 259, 260, 261, 262, 263, 267, 292, 296, 298, 300, 301, 302, 303, 304, 305, 309 }

C grade: { }

F grade: { 5, 6, 11, 12, 17, 18, 23, 24, 31, 32, 38, 39, 41, 45, 46, 48, 50, 52, 53, 54, 56, 57, 58, 59, 61, 62, 63, 65, 67, 74, 75, 76, 77, 78, 79, 80, 81, 82, 84, 85, 90, 95, 100, 110, 112, 114, 116, 118, 120, 127, 128, 129, 130, 131, 132, 133, 134, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 163, 164, 165, 166, 167, 168, 170, 171, 175, 176, 177, 178, 179, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 214, 215, 216, 217, 218, 219, 221, 222, 226, 227, 228, 229, 230, 237, 238, 239, 241, 242, 243, 244, 245, 247, 248, 249, 250, 252, 253, 254, 255, 257, 258, 264, 265, 266, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 293, 294, 295, 297, 299, 306, 307, 308, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 44 0 219 49 0 923 44
normalized size 1 1.00 0.77 0.00 3.84 0.86 0.00 16.19 0.77
time (sec) N/A 0.017 0.096 0.036 0.352 0.762 0.000 0.338 2.494
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 44 0 219 49 0 923 44
normalized size 1 1.00 0.77 0.00 3.84 0.86 0.00 16.19 0.77
time (sec) N/A 0.013 0.069 0.026 0.363 0.844 0.000 1.653 2.392
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 40 0 206 45 0 882 40
normalized size 1 1.00 0.77 0.00 3.96 0.87 0.00 16.96 0.77
time (sec) N/A 0.011 0.055 0.023 0.360 0.905 0.000 0.430 2.329
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 38 20 19 20 39 0 19
normalized size 1 1.00 2.00 1.05 1.00 1.05 2.05 0.00 1.00
time (sec) N/A 0.015 0.028 0.006 0.318 0.595 0.943 0.000 2.256
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 40 0 209 44 287 0 -1
normalized size 1 1.00 0.70 0.00 3.67 0.77 5.04 0.00 -0.02
time (sec) N/A 0.018 0.071 0.022 0.356 0.532 7.538 0.000 0.000
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 44 0 216 46 352 0 -1
normalized size 1 1.00 0.77 0.00 3.79 0.81 6.18 0.00 -0.02
time (sec) N/A 0.015 0.070 0.024 0.349 0.760 24.893 0.000 0.000
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 61 0 301 80 0 833 67
normalized size 1 1.00 0.63 0.00 3.10 0.82 0.00 8.59 0.69
time (sec) N/A 0.031 0.159 0.078 0.349 0.813 0.000 0.505 3.279
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 57 0 282 78 0 820 67
normalized size 1 1.00 0.58 0.00 2.88 0.80 0.00 8.37 0.68
time (sec) N/A 0.022 0.122 0.062 0.348 0.509 0.000 0.504 2.565
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 56 0 280 73 0 786 56
normalized size 1 1.00 0.64 0.00 3.18 0.83 0.00 8.93 0.64
time (sec) N/A 0.019 0.090 0.070 0.360 0.434 0.000 0.400 2.467
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 36 52 55 40 56 0 32
normalized size 1 1.00 0.92 1.33 1.41 1.03 1.44 0.00 0.82
time (sec) N/A 0.030 0.065 0.023 0.342 0.658 3.870 0.000 2.399
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 57 0 283 71 415 0 -1
normalized size 1 1.00 0.60 0.00 2.98 0.75 4.37 0.00 -0.01
time (sec) N/A 0.026 0.111 0.068 0.354 0.673 24.231 0.000 0.000
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 58 0 280 69 672 0 -1
normalized size 1 1.00 0.59 0.00 2.86 0.70 6.86 0.00 -0.01
time (sec) N/A 0.026 0.109 0.062 0.347 0.526 25.802 0.000 0.000
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 160 160 122 0 1008 138 0 0 122
normalized size 1 1.00 0.76 0.00 6.30 0.86 0.00 0.00 0.76
time (sec) N/A 0.055 0.525 0.071 0.390 0.460 0.000 0.000 3.121
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 158 158 125 0 1016 140 0 0 122
normalized size 1 1.00 0.79 0.00 6.43 0.89 0.00 0.00 0.77
time (sec) N/A 0.045 0.487 0.066 0.387 0.644 0.000 0.000 3.048
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 149 149 121 0 990 130 0 0 114
normalized size 1 1.00 0.81 0.00 6.64 0.87 0.00 0.00 0.77
time (sec) N/A 0.037 0.473 0.071 0.390 0.522 0.000 0.000 2.893
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 45 35 233 37 83 0 37
normalized size 1 1.00 1.05 0.81 5.42 0.86 1.93 0.00 0.86
time (sec) N/A 0.032 0.059 0.026 0.361 0.624 10.951 0.000 2.432
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 158 158 125 0 995 127 1020 0 -1
normalized size 1 1.00 0.79 0.00 6.30 0.80 6.46 0.00 -0.01
time (sec) N/A 0.047 0.332 0.066 0.403 0.915 125.897 0.000 0.000
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 158 158 125 0 1007 129 1197 0 -1
normalized size 1 1.00 0.79 0.00 6.37 0.82 7.58 0.00 -0.01
time (sec) N/A 0.048 0.389 0.066 0.406 0.698 160.477 0.000 0.000
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 202 202 171 0 1107 178 0 0 127
normalized size 1 1.00 0.85 0.00 5.48 0.88 0.00 0.00 0.63
time (sec) N/A 0.078 0.498 0.088 0.410 0.499 0.000 0.000 3.116
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 210 210 169 0 1085 177 0 0 127
normalized size 1 1.00 0.80 0.00 5.17 0.84 0.00 0.00 0.60
time (sec) N/A 0.061 0.438 0.074 0.409 0.564 0.000 0.000 3.038
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 191 191 168 0 1078 165 0 0 117
normalized size 1 1.00 0.88 0.00 5.64 0.86 0.00 0.00 0.61
time (sec) N/A 0.051 0.392 0.074 0.406 0.456 0.000 0.000 2.864
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 51 84 93 59 110 0 51
normalized size 1 1.00 0.70 1.15 1.27 0.81 1.51 0.00 0.70
time (sec) N/A 0.049 0.085 0.027 0.362 0.512 22.744 0.000 2.582
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 202 202 170 0 1085 162 0 0 -1
normalized size 1 1.00 0.84 0.00 5.37 0.80 0.00 0.00 -0.00
time (sec) N/A 0.066 0.509 0.078 0.408 0.573 0.000 0.000 0.000
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 210 210 169 0 1082 163 0 0 -1
normalized size 1 1.00 0.80 0.00 5.15 0.78 0.00 0.00 -0.00
time (sec) N/A 0.063 0.455 0.078 0.412 0.629 0.000 0.000 0.000
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 29 76 27 33 56 35 36
normalized size 1 1.00 0.74 1.95 0.69 0.85 1.44 0.90 0.92
time (sec) N/A 0.014 0.015 0.017 0.324 0.785 0.704 0.159 2.158
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F C B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 133 133 0 0 82 62 0 272 135
normalized size 1 1.00 0.00 0.00 0.62 0.47 0.00 2.05 1.02
time (sec) N/A 0.277 0.356 0.040 0.392 0.758 0.000 2.077 3.942
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F A B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 88 88 0 0 31 42 0 1 85
normalized size 1 1.00 0.00 0.00 0.35 0.48 0.00 0.01 0.97
time (sec) N/A 0.099 0.191 0.029 0.358 0.525 0.000 0.574 3.021
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F A B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 88 88 0 0 31 42 0 1 85
normalized size 1 1.00 0.00 0.00 0.35 0.48 0.00 0.01 0.97
time (sec) N/A 0.052 0.161 0.026 0.359 0.507 0.000 0.499 2.805
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F A B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 82 82 0 0 29 42 0 1 81
normalized size 1 1.00 0.00 0.00 0.35 0.51 0.00 0.01 0.99
time (sec) N/A 0.052 0.113 0.025 0.360 0.566 0.000 0.428 2.726
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 5 5 5 6 5 5 5 6 5
normalized size 1 1.00 1.00 1.20 1.00 1.00 1.00 1.20 1.00
time (sec) N/A 0.004 0.001 0.001 0.311 0.404 0.048 0.265 0.031
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C C F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 86 86 0 0 33 45 226 0 -1
normalized size 1 1.00 0.00 0.00 0.38 0.52 2.63 0.00 -0.01
time (sec) N/A 0.061 0.109 0.023 0.351 0.431 4.888 0.000 0.000
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C C F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 88 88 0 0 35 45 252 0 -1
normalized size 1 1.00 0.00 0.00 0.40 0.51 2.86 0.00 -0.01
time (sec) N/A 0.053 0.123 0.023 0.356 0.471 16.181 0.000 0.000
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F C B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 117 117 0 0 173 107 0 498 145
normalized size 1 1.00 0.00 0.00 1.48 0.91 0.00 4.26 1.24
time (sec) N/A 0.159 0.477 0.102 0.404 0.430 0.000 4.958 3.846
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F(-1) A B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 76 76 0 0 47 59 0 1 92
normalized size 1 1.00 0.00 0.00 0.62 0.78 0.00 0.01 1.21
time (sec) N/A 0.076 0.292 0.083 0.366 0.481 0.000 5.001 2.967
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F A B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 76 76 0 0 47 60 0 1 92
normalized size 1 1.00 0.00 0.00 0.62 0.79 0.00 0.01 1.21
time (sec) N/A 0.058 0.185 0.080 0.364 0.539 0.000 0.958 2.888
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F A B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 68 68 0 0 41 57 0 1 86
normalized size 1 1.00 0.00 0.00 0.60 0.84 0.00 0.01 1.26
time (sec) N/A 0.055 0.128 0.086 0.362 0.428 0.000 0.805 2.661
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 7 7 7 8 7 10 7 8 7
normalized size 1 1.00 1.00 1.14 1.00 1.43 1.00 1.14 1.00
time (sec) N/A 0.006 0.001 0.002 0.308 0.401 0.048 0.164 0.021
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C C F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 74 74 0 0 48 62 240 0 -1
normalized size 1 1.00 0.00 0.00 0.65 0.84 3.24 0.00 -0.01
time (sec) N/A 0.068 0.212 0.073 0.361 0.429 28.493 0.000 0.000
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C C F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 76 76 0 0 54 65 462 0 -1
normalized size 1 1.00 0.00 0.00 0.71 0.86 6.08 0.00 -0.01
time (sec) N/A 0.062 0.173 0.069 0.370 0.432 16.772 0.000 0.000
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A C F C B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 226 226 169 0 195 128 0 1870 297
normalized size 1 1.00 0.75 0.00 0.86 0.57 0.00 8.27 1.31
time (sec) N/A 0.079 1.503 0.086 0.453 0.444 0.000 10.245 4.706
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F(-1) F(-2) F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 172 172 0 0 90 82 0 0 -1
normalized size 1 1.00 0.00 0.00 0.52 0.48 0.00 0.00 -0.01
time (sec) N/A 0.161 0.310 0.074 0.380 0.496 0.000 0.000 0.000
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F(-1) F(-2) B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 178 178 0 0 112 84 0 0 163
normalized size 1 1.00 0.00 0.00 0.63 0.47 0.00 0.00 0.92
time (sec) N/A 0.111 0.351 0.073 0.366 0.553 0.000 0.000 3.317
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F F(-2) B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 168 168 0 0 106 84 0 0 155
normalized size 1 1.00 0.00 0.00 0.63 0.50 0.00 0.00 0.92
time (sec) N/A 0.105 0.211 0.083 0.365 0.463 0.000 0.000 2.985
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 7 7 7 8 7 12 7 8 7
normalized size 1 1.00 1.00 1.14 1.00 1.71 1.00 1.14 1.00
time (sec) N/A 0.005 0.001 0.001 0.300 0.389 0.048 0.219 2.116
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C C F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 176 176 0 0 122 87 316 0 -1
normalized size 1 1.00 0.00 0.00 0.69 0.49 1.80 0.00 -0.01
time (sec) N/A 0.132 0.237 0.075 0.372 0.449 90.205 0.000 0.000
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C C F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 178 178 0 0 128 87 352 0 -1
normalized size 1 1.00 0.00 0.00 0.72 0.49 1.98 0.00 -0.01
time (sec) N/A 0.114 0.258 0.072 0.376 0.450 113.382 0.000 0.000
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F C B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 112 112 0 0 48 50 0 189 139
normalized size 1 1.00 0.00 0.00 0.43 0.45 0.00 1.69 1.24
time (sec) N/A 0.194 0.275 0.056 0.351 0.442 0.000 0.793 3.129
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 44 106 31 24 0 29 -1
normalized size 1 1.00 0.85 2.04 0.60 0.46 0.00 0.56 -0.02
time (sec) N/A 0.035 0.064 0.038 0.355 0.440 0.000 0.306 0.000
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F C B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 106 106 0 0 134 75 0 350 149
normalized size 1 1.00 0.00 0.00 1.26 0.71 0.00 3.30 1.41
time (sec) N/A 0.145 0.355 0.078 0.368 0.443 0.000 1.999 3.044
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 60 173 48 145 0 32 -1
normalized size 1 1.00 1.13 3.26 0.91 2.74 0.00 0.60 -0.02
time (sec) N/A 0.045 0.104 0.094 0.346 0.831 0.000 0.374 0.000
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F C B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 218 218 0 0 206 97 0 1297 291
normalized size 1 1.00 0.00 0.00 0.94 0.44 0.00 5.95 1.33
time (sec) N/A 0.305 0.515 0.068 0.374 0.429 0.000 3.956 4.078
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 103 284 75 204 0 0 -1
normalized size 1 1.00 1.05 2.90 0.77 2.08 0.00 0.00 -0.01
time (sec) N/A 0.061 0.131 0.106 0.359 4.418 0.000 0.000 0.000
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 111 111 94 0 0 0 0 0 -1
normalized size 1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.086 1.386 0.247 0.000 0.000 0.000 0.000 0.000
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 110 110 96 0 0 0 0 0 -1
normalized size 1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.075 1.360 0.048 0.000 0.000 0.000 0.000 0.000
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 32 129 0 0 0 0 26
normalized size 1 1.00 1.10 4.45 0.00 0.00 0.00 0.00 0.90
time (sec) N/A 0.027 0.081 0.072 0.000 0.491 0.000 0.000 2.323
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 111 111 99 0 0 0 0 0 -1
normalized size 1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.088 1.452 0.050 0.000 0.000 0.000 0.000 0.000
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 111 111 95 0 0 0 0 0 -1
normalized size 1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.090 1.435 0.049 0.000 0.000 0.000 0.000 0.000
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 111 111 159 0 0 0 0 0 -1
normalized size 1 1.00 1.43 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.078 1.828 0.051 0.000 0.000 0.000 0.000 0.000
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 109 109 161 0 0 0 0 0 -1
normalized size 1 1.00 1.48 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.073 1.894 0.051 0.000 0.000 0.000 0.000 0.000
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 58 131 0 0 0 0 65
normalized size 1 1.00 0.85 1.93 0.00 0.00 0.00 0.00 0.96
time (sec) N/A 0.042 0.136 0.062 0.000 0.477 0.000 0.000 2.532
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 111 111 172 0 0 0 0 0 -1
normalized size 1 1.00 1.55 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.088 1.176 0.050 0.000 0.000 0.000 0.000 0.000
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 111 111 168 0 0 0 0 0 -1
normalized size 1 1.00 1.51 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.087 1.202 0.049 0.000 0.000 0.000 0.000 0.000
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 109 109 96 0 0 0 0 0 -1
normalized size 1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.070 0.379 0.053 0.000 0.000 0.000 0.000 0.000
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 32 102 0 0 0 0 26
normalized size 1 1.00 1.10 3.52 0.00 0.00 0.00 0.00 0.90
time (sec) N/A 0.027 0.092 0.049 0.000 0.421 0.000 0.000 2.553
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 109 109 96 0 0 0 0 0 -1
normalized size 1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.070 0.919 0.053 0.000 0.000 0.000 0.000 0.000
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 57 190 0 0 0 0 65
normalized size 1 1.00 0.89 2.97 0.00 0.00 0.00 0.00 1.02
time (sec) N/A 0.042 0.178 0.065 0.000 0.531 0.000 0.000 2.734
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 109 109 125 0 0 0 0 0 -1
normalized size 1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.074 1.506 0.066 0.000 0.000 0.000 0.000 0.000
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 61 131 0 0 0 0 65
normalized size 1 1.00 0.90 1.93 0.00 0.00 0.00 0.00 0.96
time (sec) N/A 0.042 0.197 0.082 0.000 0.583 0.000 0.000 2.962
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 81 0 402 43 0 0 50
normalized size 1 1.00 1.65 0.00 8.20 0.88 0.00 0.00 1.02
time (sec) N/A 0.039 0.134 0.293 0.643 0.514 0.000 0.000 2.937
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-1) A F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 337 337 341 0 0 467 0 0 175
normalized size 1 1.00 1.01 0.00 0.00 1.39 0.00 0.00 0.52
time (sec) N/A 0.170 1.998 0.155 0.000 0.575 0.000 0.000 4.036
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-1) A F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 256 256 326 0 0 293 0 0 161
normalized size 1 1.00 1.27 0.00 0.00 1.14 0.00 0.00 0.63
time (sec) N/A 0.118 1.310 0.108 0.000 0.565 0.000 0.000 3.926
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F B A F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 154 154 102 0 2551 155 0 0 95
normalized size 1 1.00 0.66 0.00 16.56 1.01 0.00 0.00 0.62
time (sec) N/A 0.055 0.303 0.102 0.486 0.651 0.000 0.000 3.052
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 63 0 1263 86 0 5760 80
normalized size 1 1.00 0.68 0.00 13.73 0.93 0.00 62.61 0.87
time (sec) N/A 0.025 0.166 0.039 0.400 0.487 0.000 0.804 2.864
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 150 145 235 0 0 0 0 0 -1
normalized size 1 0.97 1.57 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.126 2.044 0.348 0.000 0.000 0.000 0.000 0.000
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 149 145 488 0 0 0 0 0 -1
normalized size 1 0.97 3.28 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.112 5.609 0.096 0.000 0.000 0.000 0.000 0.000
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 150 150 131 0 0 0 0 0 -1
normalized size 1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.110 0.528 0.101 0.000 0.000 0.000 0.000 0.000
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 150 145 544 0 0 0 0 0 -1
normalized size 1 0.97 3.63 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.113 5.157 0.097 0.000 0.000 0.000 0.000 0.000
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 150 145 214 0 0 0 0 0 -1
normalized size 1 0.97 1.43 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.114 2.442 0.097 0.000 0.000 0.000 0.000 0.000
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 144 144 122 0 0 0 0 0 -1
normalized size 1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.123 0.999 0.177 0.000 0.723 0.000 0.000 0.000
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 114 114 100 0 0 0 0 0 -1
normalized size 1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.095 0.679 0.066 0.000 0.620 0.000 0.000 0.000
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 114 114 98 0 0 0 0 0 -1
normalized size 1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.083 0.613 0.043 0.000 0.480 0.000 0.000 0.000
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 112 112 98 0 0 0 0 0 -1
normalized size 1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.075 0.559 0.045 0.000 0.586 0.000 0.000 0.000
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 86 0 0 0 0 0 77
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.90
time (sec) N/A 0.060 0.148 0.062 0.000 1.064 0.000 0.000 2.720
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 115 115 102 0 0 0 0 0 -1
normalized size 1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.095 0.635 0.046 0.000 0.534 0.000 0.000 0.000
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 115 115 100 0 0 0 0 0 -1
normalized size 1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.092 0.637 0.045 0.000 0.713 0.000 0.000 0.000
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 43 0 218 48 0 923 43
normalized size 1 1.00 0.77 0.00 3.89 0.86 0.00 16.48 0.77
time (sec) N/A 0.018 0.091 0.036 0.369 0.638 0.000 0.435 2.455
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 43 0 218 48 0 915 43
normalized size 1 1.00 0.77 0.00 3.89 0.86 0.00 16.34 0.77
time (sec) N/A 0.012 0.078 0.022 0.364 0.804 0.000 0.372 2.426
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 39 0 205 43 0 878 39
normalized size 1 1.00 0.76 0.00 4.02 0.84 0.00 17.22 0.76
time (sec) N/A 0.009 0.054 0.039 0.362 0.828 0.000 0.276 2.349
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 37 19 18 19 37 0 18
normalized size 1 1.00 2.06 1.06 1.00 1.06 2.06 0.00 1.00
time (sec) N/A 0.015 0.030 0.014 0.322 0.566 0.895 0.000 2.283
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 41 0 208 45 286 0 -1
normalized size 1 1.00 0.73 0.00 3.71 0.80 5.11 0.00 -0.02
time (sec) N/A 0.015 0.074 0.023 0.366 0.977 7.203 0.000 0.000
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 61 0 301 76 0 833 66
normalized size 1 1.00 0.63 0.00 3.10 0.78 0.00 8.59 0.68
time (sec) N/A 0.030 0.172 0.068 0.377 0.680 0.000 0.534 2.696
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 54 0 282 74 0 820 66
normalized size 1 1.00 0.55 0.00 2.88 0.76 0.00 8.37 0.67
time (sec) N/A 0.023 0.106 0.054 0.370 0.442 0.000 0.509 2.629
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 54 0 280 68 0 786 56
normalized size 1 1.00 0.61 0.00 3.18 0.77 0.00 8.93 0.64
time (sec) N/A 0.016 0.084 0.057 0.367 0.719 0.000 0.418 2.531
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 36 52 53 39 56 0 32
normalized size 1 1.00 0.92 1.33 1.36 1.00 1.44 0.00 0.82
time (sec) N/A 0.029 0.066 0.028 0.353 0.638 3.031 0.000 2.437
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 57 0 285 68 413 0 -1
normalized size 1 1.00 0.60 0.00 3.00 0.72 4.35 0.00 -0.01
time (sec) N/A 0.027 0.135 0.056 0.368 0.472 16.168 0.000 0.000
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 160 160 120 0 1007 127 0 0 122
normalized size 1 1.00 0.75 0.00 6.29 0.79 0.00 0.00 0.76
time (sec) N/A 0.051 0.560 0.083 0.410 0.448 0.000 0.000 3.060
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 158 158 123 0 1015 129 0 0 122
normalized size 1 1.00 0.78 0.00 6.42 0.82 0.00 0.00 0.77
time (sec) N/A 0.045 0.504 0.070 0.418 0.512 0.000 0.000 2.948
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 149 149 117 0 989 119 0 0 114
normalized size 1 1.00 0.79 0.00 6.64 0.80 0.00 0.00 0.77
time (sec) N/A 0.036 0.417 0.073 0.412 0.433 0.000 0.000 2.825
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 42 35 232 36 82 0 37
normalized size 1 1.00 1.00 0.83 5.52 0.86 1.95 0.00 0.88
time (sec) N/A 0.033 0.056 0.030 0.368 0.616 10.754 0.000 2.353
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 158 158 122 0 994 119 1022 0 -1
normalized size 1 1.00 0.77 0.00 6.29 0.75 6.47 0.00 -0.01
time (sec) N/A 0.048 0.480 0.072 0.416 0.543 81.739 0.000 0.000
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 191 191 167 0 1078 144 0 0 116
normalized size 1 1.00 0.87 0.00 5.64 0.75 0.00 0.00 0.61
time (sec) N/A 0.045 0.443 0.078 0.409 0.480 0.000 0.000 2.818
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 51 84 93 59 110 0 50
normalized size 1 1.00 0.70 1.15 1.27 0.81 1.51 0.00 0.68
time (sec) N/A 0.044 0.101 0.030 0.371 0.464 15.348 0.000 2.550
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 22 34 20 25 0 25 21
normalized size 1 1.00 0.76 1.17 0.69 0.86 0.00 0.86 0.72
time (sec) N/A 0.014 0.012 0.050 0.343 0.435 0.000 0.265 2.168
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F C B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 101 101 0 0 82 60 0 267 131
normalized size 1 1.00 0.00 0.00 0.81 0.59 0.00 2.64 1.30
time (sec) N/A 0.146 0.366 0.051 0.412 0.593 0.000 2.102 3.780
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F A B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 62 62 0 0 29 40 0 1 83
normalized size 1 1.00 0.00 0.00 0.47 0.65 0.00 0.02 1.34
time (sec) N/A 0.045 0.113 0.136 0.378 0.442 0.000 0.362 2.775
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F C B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 117 117 0 0 172 107 0 498 143
normalized size 1 1.00 0.00 0.00 1.47 0.91 0.00 4.26 1.22
time (sec) N/A 0.117 0.450 0.087 0.433 0.767 0.000 5.631 3.709
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F A B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 68 68 0 0 41 57 0 1 86
normalized size 1 1.00 0.00 0.00 0.60 0.84 0.00 0.01 1.26
time (sec) N/A 0.056 0.122 0.079 0.383 0.456 0.000 0.890 2.709
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A C F C B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 226 226 158 0 195 128 0 1870 277
normalized size 1 1.00 0.70 0.00 0.86 0.57 0.00 8.27 1.23
time (sec) N/A 0.082 1.686 0.105 0.447 0.484 0.000 14.211 4.710
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A C F F(-2) B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 128 128 0 0 106 84 0 0 158
normalized size 1 1.00 0.00 0.00 0.83 0.66 0.00 0.00 1.23
time (sec) N/A 0.096 0.216 0.098 0.397 0.609 0.000 0.000 3.015
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 110 110 377 0 0 0 0 0 -1
normalized size 1 1.00 3.43 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.072 3.557 0.132 0.000 0.000 0.000 0.000 0.000
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 24 181 0 0 0 0 23
normalized size 1 1.00 1.00 7.54 0.00 0.00 0.00 0.00 0.96
time (sec) N/A 0.027 0.088 0.084 0.000 0.511 0.000 0.000 2.368
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 109 109 163 0 0 0 0 0 -1
normalized size 1 1.00 1.50 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.068 1.695 0.050 0.000 0.000 0.000 0.000 0.000
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 54 247 0 0 0 0 56
normalized size 1 1.00 0.86 3.92 0.00 0.00 0.00 0.00 0.89
time (sec) N/A 0.043 0.116 0.076 0.000 0.738 0.000 0.000 2.300
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 110 110 696 0 0 0 0 0 -1
normalized size 1 1.00 6.33 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.072 7.213 0.050 0.000 0.000 0.000 0.000 0.000
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 58 280 0 0 0 0 65
normalized size 1 1.00 0.92 4.44 0.00 0.00 0.00 0.00 1.03
time (sec) N/A 0.042 0.135 0.076 0.000 0.483 0.000 0.000 2.377
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 109 109 99 0 0 0 0 0 -1
normalized size 1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.067 0.375 0.047 0.000 0.000 0.000 0.000 0.000
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 24 26 0 0 0 0 23
normalized size 1 1.00 1.00 1.08 0.00 0.00 0.00 0.00 0.96
time (sec) N/A 0.028 0.080 0.013 0.000 0.623 0.000 0.000 2.366
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 109 109 431 0 0 0 0 0 -1
normalized size 1 1.00 3.95 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.070 3.709 0.049 0.000 0.000 0.000 0.000 0.000
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 54 139 0 0 0 0 65
normalized size 1 1.00 0.92 2.36 0.00 0.00 0.00 0.00 1.10
time (sec) N/A 0.041 0.149 0.081 0.000 0.456 0.000 0.000 2.672
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 109 109 147 0 0 0 0 0 -1
normalized size 1 1.00 1.35 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.073 1.129 0.051 0.000 0.000 0.000 0.000 0.000
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 54 291 0 0 0 0 65
normalized size 1 1.00 0.86 4.62 0.00 0.00 0.00 0.00 1.03
time (sec) N/A 0.044 0.145 0.078 0.000 0.566 0.000 0.000 2.709
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 82 0 187 39 0 0 48
normalized size 1 1.00 1.71 0.00 3.90 0.81 0.00 0.00 1.00
time (sec) N/A 0.036 0.118 0.227 0.467 0.607 0.000 0.000 2.792
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 266 260 312 0 3537 273 0 0 152
normalized size 1 0.98 1.17 0.00 13.30 1.03 0.00 0.00 0.57
time (sec) N/A 0.125 4.025 0.090 0.620 1.008 0.000 0.000 3.592
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 201 201 292 0 2352 190 0 0 140
normalized size 1 1.00 1.45 0.00 11.70 0.95 0.00 0.00 0.70
time (sec) N/A 0.078 1.939 0.084 0.506 0.693 0.000 0.000 3.530
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F B A F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 120 120 91 0 646 105 0 0 82
normalized size 1 1.00 0.76 0.00 5.38 0.88 0.00 0.00 0.68
time (sec) N/A 0.032 0.340 0.074 0.396 0.620 0.000 0.000 2.788
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 53 0 313 58 0 5162 70
normalized size 1 1.00 0.76 0.00 4.47 0.83 0.00 73.74 1.00
time (sec) N/A 0.016 0.154 0.031 0.366 0.554 0.000 3.024 2.672
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 130 126 204 0 0 0 0 0 -1
normalized size 1 0.97 1.57 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.101 2.028 0.066 0.000 0.000 0.000 0.000 0.000
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 129 126 436 0 0 0 0 0 -1
normalized size 1 0.98 3.38 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.099 5.365 0.060 0.000 0.000 0.000 0.000 0.000
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 130 130 119 0 0 0 0 0 -1
normalized size 1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.093 0.579 0.060 0.000 0.000 0.000 0.000 0.000
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 130 126 487 0 0 0 0 0 -1
normalized size 1 0.97 3.75 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.099 5.205 0.062 0.000 0.000 0.000 0.000 0.000
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 130 126 205 0 0 0 0 0 -1
normalized size 1 0.97 1.58 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.100 2.254 0.061 0.000 0.000 0.000 0.000 0.000
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 144 144 123 0 0 0 0 0 -1
normalized size 1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.104 1.025 0.108 0.000 0.531 0.000 0.000 0.000
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 114 114 102 0 0 0 0 0 -1
normalized size 1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.077 0.649 0.049 0.000 0.631 0.000 0.000 0.000
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 112 112 102 0 0 0 0 0 -1
normalized size 1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.071 0.560 0.043 0.000 0.583 0.000 0.000 0.000
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B A B A A A B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 47 0 132 37 90 30 37 34 36
normalized size 1 0.00 2.81 0.79 1.91 0.64 0.79 0.72 0.77
time (sec) N/A 0.030 0.039 0.062 0.342 0.601 0.208 0.505 2.225
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A A B A A A B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 43 0 66 33 151 42 61 26 36
normalized size 1 0.00 1.53 0.77 3.51 0.98 1.42 0.60 0.84
time (sec) N/A 0.023 0.017 0.056 0.447 0.536 0.201 0.351 2.210
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B A B A A A B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 33 0 114 26 73 21 26 25 25
normalized size 1 0.00 3.45 0.79 2.21 0.64 0.79 0.76 0.76
time (sec) N/A 0.017 0.024 0.047 0.338 0.464 0.191 0.316 2.187
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A A B A A A B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 27 0 42 22 122 33 27 30 25
normalized size 1 0.00 1.56 0.81 4.52 1.22 1.00 1.11 0.93
time (sec) N/A 0.007 0.010 0.044 0.497 0.419 0.181 1.419 2.166
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 17 10 16 17 43 16
normalized size 1 1.00 1.00 1.21 0.71 1.14 1.21 3.07 1.14
time (sec) N/A 0.013 0.022 0.003 0.335 0.412 0.266 0.241 3.729
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A A B B A A B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 29 0 44 24 127 39 27 28 27
normalized size 1 0.00 1.52 0.83 4.38 1.34 0.93 0.97 0.93
time (sec) N/A 0.028 0.023 0.046 0.462 0.511 0.226 0.436 2.268
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B A B A A A B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 35 0 132 36 96 37 39 33 35
normalized size 1 0.00 3.77 1.03 2.74 1.06 1.11 0.94 1.00
time (sec) N/A 0.027 0.036 0.059 0.359 0.462 0.352 0.526 2.291
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A A B A A A B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 45 0 70 35 157 53 53 28 40
normalized size 1 0.00 1.56 0.78 3.49 1.18 1.18 0.62 0.89
time (sec) N/A 0.027 0.026 0.059 0.464 0.476 0.293 0.292 2.301
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B A B A A B B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 63 0 155 52 231 64 54 261 51
normalized size 1 0.00 2.46 0.83 3.67 1.02 0.86 4.14 0.81
time (sec) N/A 0.070 0.181 0.056 0.374 0.688 0.318 0.761 2.252
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A A B A A B B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 62 0 100 48 269 86 66 141 52
normalized size 1 0.00 1.61 0.77 4.34 1.39 1.06 2.27 0.84
time (sec) N/A 0.050 0.126 0.053 0.466 0.502 0.324 0.556 2.233
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B A B A A B B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 51 0 135 42 193 54 42 221 41
normalized size 1 0.00 2.65 0.82 3.78 1.06 0.82 4.33 0.80
time (sec) N/A 0.032 0.124 0.046 0.355 0.478 0.286 0.573 2.205
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A A B B A B B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 46 0 70 36 226 77 51 114 42
normalized size 1 0.00 1.52 0.78 4.91 1.67 1.11 2.48 0.91
time (sec) N/A 0.010 0.089 0.043 0.459 0.418 0.269 0.391 2.205
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 28 23 17 30 22 38 16
normalized size 1 1.00 1.56 1.28 0.94 1.67 1.22 2.11 0.89
time (sec) N/A 0.025 0.039 0.006 0.428 0.504 0.302 0.250 2.376
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A A B A A A B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 60 0 72 38 231 78 54 73 45
normalized size 1 0.00 1.20 0.63 3.85 1.30 0.90 1.22 0.75
time (sec) N/A 0.049 0.110 0.050 0.473 0.581 0.374 0.557 2.197
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B A F(-2) A A B B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 55 0 150 51 0 74 61 178 56
normalized size 1 0.00 2.73 0.93 0.00 1.35 1.11 3.24 1.02
time (sec) N/A 0.053 0.187 0.056 0.000 0.489 0.490 0.768 2.211
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 71 0 124 0 0 0 0 0 -1
normalized size 1 0.00 1.75 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.044 0.200 0.162 0.000 0.504 0.000 0.000 0.000
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 77 0 86 0 0 0 0 0 -1
normalized size 1 0.00 1.12 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.087 0.162 0.050 0.000 0.731 0.000 0.000 0.000
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 184 0 125 0 0 0 0 0 -1
normalized size 1 0.00 0.68 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.091 0.226 0.061 0.000 0.504 0.000 0.000 0.000
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F F F F(-1) F
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 142 0 330 0 0 0 0 0 -1
normalized size 1 0.00 2.32 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.024 0.694 0.328 0.000 0.464 0.000 0.000 0.000
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 162 0 157 0 0 0 0 0 -1
normalized size 1 0.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.130 0.671 0.346 0.000 0.505 0.000 0.000 0.000
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F F(-1) F
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 120 0 240 0 0 0 0 0 -1
normalized size 1 0.00 2.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.021 0.526 0.431 0.000 0.683 0.000 0.000 0.000
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F F(-1) F
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 120 0 240 0 0 0 0 0 -1
normalized size 1 0.00 2.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.020 0.514 0.315 0.000 0.507 0.000 0.000 0.000
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F F(-1) F
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 120 0 240 0 0 0 0 0 -1
normalized size 1 0.00 2.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.021 0.503 0.304 0.000 0.464 0.000 0.000 0.000
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 71 0 146 0 0 0 0 0 -1
normalized size 1 0.00 2.06 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.043 6.344 1.356 0.000 0.431 0.000 0.000 0.000
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 75 0 155 0 0 0 0 0 -1
normalized size 1 0.00 2.07 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.031 5.914 1.126 0.000 0.433 0.000 0.000 0.000
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 69 0 146 0 0 0 0 0 -1
normalized size 1 0.00 2.12 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.025 6.007 1.010 0.000 0.474 0.000 0.000 0.000
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 67 0 151 0 0 0 0 0 -1
normalized size 1 0.00 2.25 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.012 11.220 0.877 0.000 0.462 0.000 0.000 0.000
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 25 30 24 35 44 0 38
normalized size 1 1.00 0.96 1.15 0.92 1.35 1.69 0.00 1.46
time (sec) N/A 0.018 0.055 0.004 0.317 0.453 4.134 0.000 3.783
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 71 0 153 0 0 0 0 0 -1
normalized size 1 0.00 2.15 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.031 4.135 1.159 0.000 0.420 0.000 0.000 0.000
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F F F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 69 0 147 0 0 0 0 0 -1
normalized size 1 0.00 2.13 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.031 3.762 1.343 0.000 0.471 0.000 0.000 0.000
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F(-1) F F(-1) F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 159 0 179 0 0 0 0 0 -1
normalized size 1 0.00 1.13 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.090 6.518 0.277 0.000 0.434 0.000 0.000 0.000
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F(-1) F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 163 0 189 0 0 0 0 0 -1
normalized size 1 0.00 1.16 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.069 6.413 0.608 0.000 0.449 0.000 0.000 0.000
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F(-1) F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 159 0 179 0 0 0 0 0 -1
normalized size 1 0.00 1.13 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.044 6.429 0.189 0.000 0.451 0.000 0.000 0.000
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F(-1) F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 154 0 185 0 0 0 0 0 -1
normalized size 1 0.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.014 11.730 0.151 0.000 0.451 0.000 0.000 0.000
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 51 50 320 85 0 0 39
normalized size 1 1.00 1.76 1.72 11.03 2.93 0.00 0.00 1.34
time (sec) N/A 0.029 0.080 0.007 0.679 0.620 0.000 0.000 3.836
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F(-1) F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 157 0 184 0 0 0 0 0 -1
normalized size 1 0.00 1.17 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.055 4.292 0.231 0.000 0.422 0.000 0.000 0.000
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F(-1) F F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 156 0 179 0 0 0 0 0 -1
normalized size 1 0.00 1.15 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.054 3.914 0.276 0.000 0.544 0.000 0.000 0.000
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 38 47 1242 69 70 0 105
normalized size 1 1.00 0.88 1.09 28.88 1.60 1.63 0.00 2.44
time (sec) N/A 0.034 0.154 0.007 0.384 0.448 3.816 0.000 4.718
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 45 45 62 61 2171 140 66 0 183
normalized size 1 1.00 1.38 1.36 48.24 3.11 1.47 0.00 4.07
time (sec) N/A 0.038 0.093 0.006 0.433 0.519 9.297 0.000 8.043
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 55 68 4466 129 92 0 247
normalized size 1 1.00 0.82 1.01 66.66 1.93 1.37 0.00 3.69
time (sec) N/A 0.044 0.160 0.004 0.495 0.450 21.873 0.000 6.587
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 101 0 186 0 0 0 0 0 -1
normalized size 1 0.00 1.84 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.048 14.692 1.523 0.000 0.411 0.000 0.000 0.000
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F(-1) F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 196 0 550 0 0 0 0 0 -1
normalized size 1 0.00 2.81 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.082 17.553 0.347 0.000 0.451 0.000 0.000 0.000
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F(-1) F F F(-1) F
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 351 0 642 0 0 0 0 0 -1
normalized size 1 0.00 1.83 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.076 17.990 0.349 0.000 0.436 0.000 0.000 0.000
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F F F F(-1) F
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 190 0 458 0 0 0 0 0 -1
normalized size 1 0.00 2.41 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.015 1.410 0.099 0.000 0.497 0.000 0.000 0.000
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F(-1) F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 210 0 205 0 0 0 0 0 -1
normalized size 1 0.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.104 1.148 0.099 0.000 0.453 0.000 0.000 0.000
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 201 201 50 161 0 0 0 0 79
normalized size 1 1.00 0.25 0.80 0.00 0.00 0.00 0.00 0.39
time (sec) N/A 0.139 0.253 0.039 0.000 0.000 0.000 0.000 3.387
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F(-2) F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 199 199 175 161 0 0 0 0 78
normalized size 1 1.00 0.88 0.81 0.00 0.00 0.00 0.00 0.39
time (sec) N/A 0.128 0.242 0.030 0.000 0.000 0.000 0.000 3.312
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F(-2) F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 176 176 48 140 0 0 0 0 131
normalized size 1 1.00 0.27 0.80 0.00 0.00 0.00 0.00 0.74
time (sec) N/A 0.120 0.097 0.029 0.000 0.000 0.000 0.000 2.628
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F(-2) F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 176 176 142 140 0 0 0 0 59
normalized size 1 1.00 0.81 0.80 0.00 0.00 0.00 0.00 0.34
time (sec) N/A 0.121 0.130 0.032 0.000 0.000 0.000 0.000 2.956
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F(-2) F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 199 199 46 161 0 0 0 0 79
normalized size 1 1.00 0.23 0.81 0.00 0.00 0.00 0.00 0.40
time (sec) N/A 0.134 0.110 0.030 0.000 0.000 0.000 0.000 2.921
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 201 201 48 161 0 0 0 0 78
normalized size 1 1.00 0.24 0.80 0.00 0.00 0.00 0.00 0.39
time (sec) N/A 0.128 0.203 0.030 0.000 0.000 0.000 0.000 4.080
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B A B A A A B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 49 0 137 39 136 32 39 50 38
normalized size 1 0.00 2.80 0.80 2.78 0.65 0.80 1.02 0.78
time (sec) N/A 0.026 0.041 0.066 0.343 0.664 0.221 0.551 2.222
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A A B B A A B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 43 0 66 33 130 82 63 47 40
normalized size 1 0.00 1.53 0.77 3.02 1.91 1.47 1.09 0.93
time (sec) N/A 0.022 0.018 0.059 0.376 1.484 0.203 1.069 2.198
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B A B A A A B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 35 0 118 28 114 23 27 41 27
normalized size 1 0.00 3.37 0.80 3.26 0.66 0.77 1.17 0.77
time (sec) N/A 0.015 0.023 0.056 0.341 0.589 0.198 2.495 2.199
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A A B B A B B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 27 0 42 22 98 49 29 38 29
normalized size 1 0.00 1.56 0.81 3.63 1.81 1.07 1.41 1.07
time (sec) N/A 0.007 0.009 0.053 0.358 0.680 0.181 0.438 2.182
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 25 17 10 18 17 66 21
normalized size 1 1.00 1.79 1.21 0.71 1.29 1.21 4.71 1.50
time (sec) N/A 0.013 0.026 0.003 0.347 0.786 0.267 1.208 2.252
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A A B A A B B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 29 0 44 24 103 36 29 40 31
normalized size 1 0.00 1.52 0.83 3.55 1.24 1.00 1.38 1.07
time (sec) N/A 0.025 0.021 0.056 0.377 0.907 0.224 0.597 2.214
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B A B A A B B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 36 0 136 38 139 39 39 49 37
normalized size 1 0.00 3.78 1.06 3.86 1.08 1.08 1.36 1.03
time (sec) N/A 0.024 0.030 0.062 0.340 0.744 0.364 0.254 2.232
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A A B A A A B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 45 0 70 35 142 55 54 49 44
normalized size 1 0.00 1.56 0.78 3.16 1.22 1.20 1.09 0.98
time (sec) N/A 0.025 0.021 0.063 0.345 0.593 0.297 0.258 2.212
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B A B A A B B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 67 0 162 54 362 70 54 139 55
normalized size 1 0.00 2.42 0.81 5.40 1.04 0.81 2.07 0.82
time (sec) N/A 0.065 0.179 0.065 0.354 0.592 0.319 0.278 2.231
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A A B B A A B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 64 0 100 48 352 102 60 83 57
normalized size 1 0.00 1.56 0.75 5.50 1.59 0.94 1.30 0.89
time (sec) N/A 0.051 0.125 0.063 0.355 0.653 0.328 0.669 2.222
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B A B A A B B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 55 0 142 44 296 61 42 118 45
normalized size 1 0.00 2.58 0.80 5.38 1.11 0.76 2.15 0.82
time (sec) N/A 0.036 0.129 0.056 0.350 0.983 0.287 0.275 2.193
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A A B A A B B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 48 0 70 36 278 72 42 79 44
normalized size 1 0.00 1.46 0.75 5.79 1.50 0.88 1.65 0.92
time (sec) N/A 0.011 0.082 0.057 0.376 0.732 0.273 0.458 2.188
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 34 27 19 34 20 76 16
normalized size 1 1.00 1.89 1.50 1.06 1.89 1.11 4.22 0.89
time (sec) N/A 0.024 0.049 0.006 0.415 0.602 0.307 0.312 2.492
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A A B A A A B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 64 0 72 38 285 74 46 87 47
normalized size 1 0.00 1.12 0.59 4.45 1.16 0.72 1.36 0.73
time (sec) N/A 0.048 0.122 0.062 0.394 0.707 0.379 0.297 2.209
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B A F(-2) A A B B
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 57 0 153 53 0 81 60 190 60
normalized size 1 0.00 2.68 0.93 0.00 1.42 1.05 3.33 1.05
time (sec) N/A 0.051 0.232 0.067 0.000 0.701 0.493 0.412 2.226
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 70 0 103 0 0 0 0 0 -1
normalized size 1 0.00 1.47 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.040 0.256 0.118 0.000 0.564 0.000 0.000 0.000
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 77 0 84 0 0 0 0 0 -1
normalized size 1 0.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.070 0.167 0.061 0.000 0.663 0.000 0.000 0.000
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 169 0 122 0 0 0 0 0 -1
normalized size 1 0.00 0.72 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.077 0.226 0.126 0.000 1.654 0.000 0.000 0.000
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F F F F F
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 142 0 330 0 0 0 0 0 -1
normalized size 1 0.00 2.32 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.022 0.612 0.354 0.000 0.796 0.000 0.000 0.000
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 162 0 157 0 0 0 0 0 -1
normalized size 1 0.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.117 0.650 0.352 0.000 1.148 0.000 0.000 0.000
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F F F
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 120 0 238 0 0 0 0 0 -1
normalized size 1 0.00 1.98 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.020 0.484 0.297 0.000 1.231 0.000 0.000 0.000
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F F F
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 120 0 238 0 0 0 0 0 -1
normalized size 1 0.00 1.98 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.020 0.468 0.305 0.000 0.803 0.000 0.000 0.000
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F F F
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 120 0 238 0 0 0 0 0 -1
normalized size 1 0.00 1.98 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.021 0.469 0.309 0.000 1.684 0.000 0.000 0.000
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 70 0 220 0 0 0 0 0 -1
normalized size 1 0.00 3.14 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.035 5.300 1.656 0.000 0.724 0.000 0.000 0.000
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 74 0 229 0 0 0 0 0 -1
normalized size 1 0.00 3.09 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.029 5.577 1.421 0.000 2.050 0.000 0.000 0.000
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 68 0 219 0 0 0 0 0 -1
normalized size 1 0.00 3.22 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.023 5.523 1.241 0.000 0.717 0.000 0.000 0.000
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 66 0 141 0 0 0 0 0 -1
normalized size 1 0.00 2.14 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.012 10.319 1.050 0.000 1.176 0.000 0.000 0.000
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 40 30 24 35 46 0 37
normalized size 1 1.00 1.60 1.20 0.96 1.40 1.84 0.00 1.48
time (sec) N/A 0.018 0.062 0.004 0.321 1.456 4.135 0.000 3.802
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 70 0 217 0 0 0 0 0 -1
normalized size 1 0.00 3.10 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.030 4.590 1.454 0.000 0.610 0.000 0.000 0.000
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 68 0 211 0 0 0 0 0 -1
normalized size 1 0.00 3.10 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.029 4.158 1.708 0.000 1.510 0.000 0.000 0.000
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F(-1) F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 158 0 175 0 0 0 0 0 -1
normalized size 1 0.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.085 4.636 0.422 0.000 0.535 0.000 0.000 0.000
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F(-1) F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 162 0 185 0 0 0 0 0 -1
normalized size 1 0.00 1.14 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.061 5.322 0.812 0.000 0.560 0.000 0.000 0.000
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F(-1) F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 158 0 175 0 0 0 0 0 -1
normalized size 1 0.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.044 5.204 0.272 0.000 1.653 0.000 0.000 0.000
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F(-1) F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 153 0 178 0 0 0 0 0 -1
normalized size 1 0.00 1.16 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.014 11.531 0.204 0.000 0.626 0.000 0.000 0.000
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B B B F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 51 63 322 78 0 0 39
normalized size 1 1.00 1.70 2.10 10.73 2.60 0.00 0.00 1.30
time (sec) N/A 0.030 0.118 0.006 0.948 0.771 0.000 0.000 3.863
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F(-1) F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 156 0 181 0 0 0 0 0 -1
normalized size 1 0.00 1.16 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.057 4.384 0.325 0.000 0.468 0.000 0.000 0.000
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F(-1) F F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 155 0 175 0 0 0 0 0 -1
normalized size 1 0.00 1.13 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.053 3.911 0.402 0.000 1.441 0.000 0.000 0.000
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 52 47 1713 70 0 0 106
normalized size 1 1.00 1.18 1.07 38.93 1.59 0.00 0.00 2.41
time (sec) N/A 0.037 0.221 0.007 1.894 0.738 0.000 0.000 4.693
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B B A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 46 69 2172 132 66 0 182
normalized size 1 1.00 1.05 1.57 49.36 3.00 1.50 0.00 4.14
time (sec) N/A 0.039 0.109 0.007 0.751 0.810 8.050 0.000 8.104
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 69 68 5998 129 0 0 246
normalized size 1 1.00 1.05 1.03 90.88 1.95 0.00 0.00 3.73
time (sec) N/A 0.046 0.224 0.006 0.584 1.313 0.000 0.000 6.604
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 100 0 182 0 0 0 0 0 -1
normalized size 1 0.00 1.82 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.048 13.671 1.879 0.000 0.424 0.000 0.000 0.000
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F(-1) F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 195 0 547 0 0 0 0 0 -1
normalized size 1 0.00 2.81 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.078 16.575 0.447 0.000 1.165 0.000 0.000 0.000
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F F(-1) F
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 350 0 639 0 0 0 0 0 -1
normalized size 1 0.00 1.83 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.073 16.978 0.487 0.000 1.082 0.000 0.000 0.000
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F B F F F F F(-1) F
verified N/A N/A NO TBD TBD TBD TBD TBD TBD
size 190 0 458 0 0 0 0 0 -1
normalized size 1 0.00 2.41 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.015 1.291 0.125 0.000 1.782 0.000 0.000 0.000
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A F A F F F F(-1) F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD TBD
size 210 0 205 0 0 0 0 0 -1
normalized size 1 0.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.104 1.110 0.102 0.000 1.064 0.000 0.000 0.000
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 201 201 50 161 0 0 0 0 79
normalized size 1 1.00 0.25 0.80 0.00 0.00 0.00 0.00 0.39
time (sec) N/A 0.139 0.245 0.057 0.000 0.000 0.000 0.000 3.390
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F(-2) F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 199 199 175 161 0 0 0 0 80
normalized size 1 1.00 0.88 0.81 0.00 0.00 0.00 0.00 0.40
time (sec) N/A 0.131 0.275 0.045 0.000 0.000 0.000 0.000 3.325
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F(-2) F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 176 176 48 140 0 0 0 0 58
normalized size 1 1.00 0.27 0.80 0.00 0.00 0.00 0.00 0.33
time (sec) N/A 0.121 0.095 0.042 0.000 0.000 0.000 0.000 2.618
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F(-2) F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 176 176 142 140 0 0 0 0 57
normalized size 1 1.00 0.81 0.80 0.00 0.00 0.00 0.00 0.32
time (sec) N/A 0.128 0.141 0.043 0.000 0.000 0.000 0.000 2.937
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F(-2) F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 199 199 46 161 0 0 0 0 79
normalized size 1 1.00 0.23 0.81 0.00 0.00 0.00 0.00 0.40
time (sec) N/A 0.132 0.136 0.042 0.000 0.000 0.000 0.000 2.952
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 201 201 48 161 0 0 0 0 80
normalized size 1 1.00 0.24 0.80 0.00 0.00 0.00 0.00 0.40
time (sec) N/A 0.134 0.201 0.043 0.000 0.000 0.000 0.000 4.132
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 86 0 0 0 0 0 -1
normalized size 1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.059 0.158 0.335 0.000 0.773 0.000 0.000 0.000
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 82 0 0 0 0 0 -1
normalized size 1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.052 0.127 0.271 0.000 1.711 0.000 0.000 0.000
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 84 0 0 0 0 0 -1
normalized size 1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.050 0.111 0.241 0.000 1.224 0.000 0.000 0.000
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 19 32 31 43 51 0 66
normalized size 1 1.00 1.00 1.68 1.63 2.26 2.68 0.00 3.47
time (sec) N/A 0.016 0.036 0.007 0.404 2.861 2.257 0.000 3.900
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 85 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.061 0.144 0.332 0.000 0.443 0.000 0.000 0.000
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 81 0 0 0 0 0 -1
normalized size 1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.056 0.140 0.389 0.000 0.536 0.000 0.000 0.000
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-1) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 87 87 160 0 0 0 0 0 -1
normalized size 1 1.00 1.84 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.075 5.411 1.312 0.000 1.360 0.000 0.000 0.000
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-1) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 79 79 149 0 0 0 0 0 -1
normalized size 1 1.00 1.89 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.066 5.201 1.213 0.000 1.090 0.000 0.000 0.000
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-1) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 85 85 147 0 0 0 0 0 -1
normalized size 1 1.00 1.73 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.063 6.183 1.092 0.000 1.215 0.000 0.000 0.000
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 18 19 165 33 0 0 29
normalized size 1 1.00 1.00 1.06 9.17 1.83 0.00 0.00 1.61
time (sec) N/A 0.028 0.076 0.047 0.362 1.004 0.000 0.000 3.840
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-1) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 87 87 160 0 0 0 0 0 -1
normalized size 1 1.00 1.84 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.076 3.743 1.329 0.000 0.943 0.000 0.000 0.000
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-1) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 79 79 150 0 0 0 0 0 -1
normalized size 1 1.00 1.90 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.071 3.602 1.464 0.000 0.901 0.000 0.000 0.000
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-1) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 87 87 118 0 0 0 0 0 -1
normalized size 1 1.00 1.36 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.066 4.713 1.753 0.000 0.588 0.000 0.000 0.000
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-1) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 85 85 120 0 0 0 0 0 -1
normalized size 1 1.00 1.41 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.063 4.413 1.543 0.000 0.988 0.000 0.000 0.000
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 55 64 0 100 0 0 178
normalized size 1 1.00 1.00 1.16 0.00 1.82 0.00 0.00 3.24
time (sec) N/A 0.038 0.071 0.112 0.000 3.082 0.000 0.000 6.305
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-1) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 87 87 123 0 0 0 0 0 -1
normalized size 1 1.00 1.41 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.075 4.611 1.627 0.000 0.566 0.000 0.000 0.000
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-1) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 87 87 119 0 0 0 0 0 -1
normalized size 1 1.00 1.37 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.073 4.628 1.756 0.000 0.869 0.000 0.000 0.000
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 79 79 204 0 0 0 0 0 -1
normalized size 1 1.00 2.58 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.069 12.409 1.360 0.000 0.643 0.000 0.000 0.000
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 85 85 213 0 0 0 0 0 -1
normalized size 1 1.00 2.51 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.063 10.547 0.763 0.000 0.758 0.000 0.000 0.000
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 36 37 1323 52 0 0 49
normalized size 1 1.00 0.86 0.88 31.50 1.24 0.00 0.00 1.17
time (sec) N/A 0.034 0.109 0.126 0.397 0.804 0.000 0.000 9.056
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 87 87 215 0 0 0 0 0 -1
normalized size 1 1.00 2.47 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.075 9.397 1.460 0.000 2.030 0.000 0.000 0.000
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 79 79 203 0 0 0 0 0 -1
normalized size 1 1.00 2.57 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.072 9.245 0.819 0.000 0.526 0.000 0.000 0.000
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A C A C B A F F B
verified N/A NO Yes TBD TBD TBD TBD TBD TBD
size 41 175 29 525 1696 47 0 0 87
normalized size 1 4.27 0.71 12.80 41.37 1.15 0.00 0.00 2.12
time (sec) N/A 0.133 0.456 0.645 2.329 3.983 0.000 0.000 3.418
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A C A F B C F(-1) C B
verified N/A NO Yes TBD TBD TBD TBD TBD TBD
size 110 146 198 0 976 81 0 834 176
normalized size 1 1.33 1.80 0.00 8.87 0.74 0.00 7.58 1.60
time (sec) N/A 0.217 2.073 0.291 1.169 0.945 0.000 18.020 6.962
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B C B A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 45 45 127 209 140 55 0 0 46
normalized size 1 1.00 2.82 4.64 3.11 1.22 0.00 0.00 1.02
time (sec) N/A 0.043 0.174 0.228 0.368 0.806 0.000 0.000 4.432
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B C B A F A B
verified N/A NO Yes TBD TBD TBD TBD TBD TBD
size 58 48 137 208 154 55 0 74 56
normalized size 1 0.83 2.36 3.59 2.66 0.95 0.00 1.28 0.97
time (sec) N/A 0.035 0.135 0.198 0.769 1.665 0.000 3.036 4.481
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B C B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 139 238 166 57 0 83 39
normalized size 1 1.00 2.90 4.96 3.46 1.19 0.00 1.73 0.81
time (sec) N/A 0.041 0.166 0.204 0.397 0.799 0.000 3.158 6.281
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 67 0 0 149 0 0 -1
normalized size 1 1.00 0.71 0.00 0.00 1.57 0.00 0.00 -0.01
time (sec) N/A 0.091 0.865 0.416 0.000 2.362 0.000 0.000 0.000
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 62 0 0 149 0 0 -1
normalized size 1 1.00 0.89 0.00 0.00 2.13 0.00 0.00 -0.01
time (sec) N/A 0.075 0.844 0.378 0.000 0.648 0.000 0.000 0.000
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 109 109 99 0 0 0 0 0 -1
normalized size 1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.070 0.464 0.379 0.000 0.000 0.000 0.000 0.000
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 54 181 0 0 0 0 51
normalized size 1 1.00 1.00 3.35 0.00 0.00 0.00 0.00 0.94
time (sec) N/A 0.043 0.117 0.157 0.000 1.164 0.000 0.000 2.568
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 109 109 415 0 0 0 0 0 -1
normalized size 1 1.00 3.81 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.072 5.775 0.115 0.000 0.000 0.000 0.000 0.000
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 68 139 0 0 0 0 -1
normalized size 1 1.00 0.76 1.56 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.061 0.150 0.188 0.000 0.468 0.000 0.000 0.000
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 109 109 124 0 0 0 0 0 -1
normalized size 1 1.00 1.14 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.072 1.384 0.109 0.000 0.000 0.000 0.000 0.000
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 93 69 291 0 0 0 0 -1
normalized size 1 1.00 0.74 3.13 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.061 0.160 0.177 0.000 1.330 0.000 0.000 0.000
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 110 110 380 0 0 0 0 0 -1
normalized size 1 1.00 3.45 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.069 4.309 0.110 0.000 0.000 0.000 0.000 0.000
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 54 181 0 0 0 0 -1
normalized size 1 1.00 1.00 3.35 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.044 0.114 0.156 0.000 1.605 0.000 0.000 0.000
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 109 109 168 0 0 0 0 0 -1
normalized size 1 1.00 1.54 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.070 1.613 0.125 0.000 0.000 0.000 0.000 0.000
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 93 72 247 0 0 0 0 -1
normalized size 1 1.00 0.77 2.66 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.060 0.129 0.190 0.000 0.833 0.000 0.000 0.000
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 110 110 867 0 0 0 0 0 -1
normalized size 1 1.00 7.88 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.072 8.679 0.126 0.000 0.000 0.000 0.000 0.000
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 93 83 280 0 0 0 0 -1
normalized size 1 1.00 0.89 3.01 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.061 0.177 0.185 0.000 1.002 0.000 0.000 0.000
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-1) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 102 102 134 0 0 0 0 0 -1
normalized size 1 1.00 1.31 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.089 5.604 1.746 0.000 1.394 0.000 0.000 0.000
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F(-1) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 102 102 482 0 0 0 0 0 -1
normalized size 1 1.00 4.73 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.085 17.184 1.526 0.000 1.619 0.000 0.000 0.000
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 99 94 0 0 0 0 0 -1
normalized size 1 0.96 0.91 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.069 0.206 0.415 0.000 0.985 0.000 0.000 0.000
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 130 126 182 0 0 0 0 0 -1
normalized size 1 0.97 1.40 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.099 2.145 0.125 0.000 0.000 0.000 0.000 0.000
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 130 126 470 0 0 0 0 0 -1
normalized size 1 0.97 3.62 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.096 9.486 0.111 0.000 0.000 0.000 0.000 0.000
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 130 130 119 0 0 0 0 0 -1
normalized size 1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.091 0.785 0.119 0.000 0.000 0.000 0.000 0.000
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 129 126 437 0 0 0 0 0 -1
normalized size 1 0.98 3.39 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.092 6.929 0.113 0.000 0.000 0.000 0.000 0.000
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 130 126 202 0 0 0 0 0 -1
normalized size 1 0.97 1.55 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.096 2.497 0.112 0.000 0.000 0.000 0.000 0.000
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 139 133 169 0 0 0 0 0 -1
normalized size 1 0.96 1.22 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.121 1.634 0.155 0.000 0.536 0.000 0.000 0.000
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 106 106 142 0 0 0 0 0 -1
normalized size 1 1.00 1.34 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.083 1.016 0.115 0.000 0.558 0.000 0.000 0.000
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 107 107 142 0 0 0 0 0 -1
normalized size 1 1.00 1.33 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.069 0.809 0.078 0.000 0.657 0.000 0.000 0.000
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 82 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.062 1.567 0.580 0.000 0.743 0.000 0.000 0.000
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 78 0 0 0 0 0 -1
normalized size 1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.056 1.507 0.467 0.000 0.478 0.000 0.000 0.000
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 80 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.051 1.318 0.354 0.000 1.661 0.000 0.000 0.000
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 54 33 32 45 49 0 68
normalized size 1 1.00 2.70 1.65 1.60 2.25 2.45 0.00 3.40
time (sec) N/A 0.016 0.061 0.026 0.307 0.433 2.291 0.000 3.997
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 82 0 0 0 0 0 -1
normalized size 1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.059 1.166 0.563 0.000 0.907 0.000 0.000 0.000
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 78 0 0 0 0 0 -1
normalized size 1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.059 1.126 0.664 0.000 0.859 0.000 0.000 0.000
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-1) F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 84 84 146 0 0 0 0 0 -1
normalized size 1 1.00 1.74 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.060 5.320 1.387 0.000 0.963 0.000 0.000 0.000
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 19 20 168 34 0 0 29
normalized size 1 1.00 1.00 1.05 8.84 1.79 0.00 0.00 1.53
time (sec) N/A 0.028 0.090 0.043 1.626 1.307 0.000 0.000 3.896
Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 84 84 117 0 0 0 0 0 -1
normalized size 1 1.00 1.39 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.062 5.644 1.886 0.000 0.497 0.000 0.000 0.000
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 107 66 2168 110 0 0 177
normalized size 1 1.00 1.95 1.20 39.42 2.00 0.00 0.00 3.22
time (sec) N/A 0.040 0.079 0.129 0.656 0.891 0.000 0.000 6.433
Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 84 84 221 0 0 0 0 0 -1
normalized size 1 1.00 2.63 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.061 13.235 0.340 0.000 0.600 0.000 0.000 0.000
Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 56 36 1332 71 0 0 49
normalized size 1 1.00 1.30 0.84 30.98 1.65 0.00 0.00 1.14
time (sec) N/A 0.034 0.076 0.122 0.751 0.667 0.000 0.000 9.231
Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A C A C B A F F B
verified N/A NO Yes TBD TBD TBD TBD TBD TBD
size 42 172 30 523 1701 50 0 0 85
normalized size 1 4.10 0.71 12.45 40.50 1.19 0.00 0.00 2.02
time (sec) N/A 0.127 0.436 0.649 0.657 3.564 0.000 0.000 3.261
Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A C A F B C F(-1) C B
verified N/A NO Yes TBD TBD TBD TBD TBD TBD
size 110 142 79 0 974 82 0 839 171
normalized size 1 1.29 0.72 0.00 8.85 0.75 0.00 7.63 1.55
time (sec) N/A 0.184 2.049 0.210 1.462 0.707 0.000 19.506 6.962
Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B C B A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 127 211 142 56 0 0 45
normalized size 1 1.00 2.59 4.31 2.90 1.14 0.00 0.00 0.92
time (sec) N/A 0.042 0.206 0.182 0.389 0.883 0.000 0.000 4.408
Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B C B A F A B
verified N/A NO Yes TBD TBD TBD TBD TBD TBD
size 58 51 137 209 159 56 0 74 55
normalized size 1 0.88 2.36 3.60 2.74 0.97 0.00 1.28 0.95
time (sec) N/A 0.035 0.166 0.174 0.399 1.120 0.000 2.663 4.536
Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B C B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 137 239 166 56 0 83 38
normalized size 1 1.00 2.69 4.69 3.25 1.10 0.00 1.63 0.75
time (sec) N/A 0.040 0.173 0.183 0.396 1.457 0.000 2.607 6.317
Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 96 96 155 0 0 150 0 0 -1
normalized size 1 1.00 1.61 0.00 0.00 1.56 0.00 0.00 -0.01
time (sec) N/A 0.088 2.110 0.249 0.000 0.953 0.000 0.000 0.000
Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 71 71 128 0 0 150 0 0 -1
normalized size 1 1.00 1.80 0.00 0.00 2.11 0.00 0.00 -0.01
time (sec) N/A 0.076 3.104 0.242 0.000 0.832 0.000 0.000 0.000
Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 109 109 115 0 0 0 0 0 -1
normalized size 1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.071 0.627 0.215 0.000 0.000 0.000 0.000 0.000
Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 58 102 0 0 0 0 89
normalized size 1 1.00 0.98 1.73 0.00 0.00 0.00 0.00 1.51
time (sec) N/A 0.041 0.113 0.124 0.000 0.542 0.000 0.000 2.623
Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 109 109 411 0 0 0 0 0 -1
normalized size 1 1.00 3.77 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.070 6.035 0.158 0.000 0.000 0.000 0.000 0.000
Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 72 190 0 0 0 0 -1
normalized size 1 1.00 0.77 2.02 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.055 0.136 0.167 0.000 1.958 0.000 0.000 0.000
Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 109 109 174 0 0 0 0 0 -1
normalized size 1 1.00 1.60 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.072 1.727 0.154 0.000 0.000 0.000 0.000 0.000
Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 73 131 0 0 0 0 -1
normalized size 1 1.00 0.74 1.34 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.058 0.178 0.161 0.000 1.079 0.000 0.000 0.000
Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 110 110 377 0 0 0 0 0 -1
normalized size 1 1.00 3.43 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.069 3.961 0.148 0.000 0.000 0.000 0.000 0.000
Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 58 129 0 0 0 0 -1
normalized size 1 1.00 0.98 2.19 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.040 0.101 0.159 0.000 0.811 0.000 0.000 0.000
Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 109 109 186 0 0 0 0 0 -1
normalized size 1 1.00 1.71 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.071 2.312 0.146 0.000 0.000 0.000 0.000 0.000
Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 76 131 0 0 0 0 -1
normalized size 1 1.00 0.78 1.34 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.059 0.161 0.167 0.000 0.549 0.000 0.000 0.000
Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 110 110 876 0 0 0 0 0 -1
normalized size 1 1.00 7.96 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.073 8.663 0.156 0.000 0.000 0.000 0.000 0.000
Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 88 205 0 0 0 0 -1
normalized size 1 1.00 0.90 2.09 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.058 0.201 0.180 0.000 0.564 0.000 0.000 0.000
Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 122 122 367 0 0 0 0 0 -1
normalized size 1 1.00 3.01 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.110 2.294 5.474 0.000 0.845 0.000 0.000 0.000
Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 119 534 0 0 0 0 0 -1
normalized size 1 1.00 4.49 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.097 6.531 2.181 0.000 0.974 0.000 0.000 0.000
Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 123 118 181 0 0 0 0 0 -1
normalized size 1 0.96 1.47 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.077 0.427 1.115 0.000 0.677 0.000 0.000 0.000
Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 130 126 165 0 0 0 0 0 -1
normalized size 1 0.97 1.27 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.096 2.987 0.207 0.000 0.000 0.000 0.000 0.000
Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 130 126 466 0 0 0 0 0 -1
normalized size 1 0.97 3.58 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.092 9.420 0.159 0.000 0.000 0.000 0.000 0.000
Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 130 130 138 0 0 0 0 0 -1
normalized size 1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.092 0.928 0.171 0.000 0.000 0.000 0.000 0.000
Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 129 126 441 0 0 0 0 0 -1
normalized size 1 0.98 3.42 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.088 7.227 0.159 0.000 0.000 0.000 0.000 0.000
Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 130 126 218 0 0 0 0 0 -1
normalized size 1 0.97 1.68 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.094 2.376 0.163 0.000 0.000 0.000 0.000 0.000
Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 139 133 169 0 0 0 0 0 -1
normalized size 1 0.96 1.22 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.113 1.687 0.197 0.000 0.640 0.000 0.000 0.000
Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 106 106 142 0 0 0 0 0 -1
normalized size 1 1.00 1.34 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.076 1.110 0.167 0.000 0.848 0.000 0.000 0.000
Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 107 107 142 0 0 0 0 0 -1
normalized size 1 1.00 1.33 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.066 0.866 0.128 0.000 0.557 0.000 0.000 0.000

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [180] had the largest ratio of [.4737]

Table 2.1:Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)
1 A 1 1 1.00 15 0.067
2 A 1 1 1.00 13 0.077
3 A 1 1 1.00 11 0.091
4 A 2 1 1.00 15 0.067
5 A 1 1 1.00 15 0.067
6 A 1 1 1.00 15 0.067
7 A 2 2 1.00 17 0.118
8 A 2 2 1.00 15 0.133
9 A 2 2 1.00 13 0.154
10 A 3 2 1.00 17 0.118
11 A 2 2 1.00 17 0.118
12 A 2 2 1.00 17 0.118
13 A 2 2 1.00 17 0.118
14 A 2 2 1.00 15 0.133
15 A 2 2 1.00 13 0.154
16 A 3 1 1.00 17 0.059
17 A 2 2 1.00 17 0.118
18 A 2 2 1.00 17 0.118
19 A 3 2 1.00 17 0.118
20 A 3 2 1.00 15 0.133
21 A 3 2 1.00 13 0.154
22 A 4 2 1.00 17 0.118
23 A 3 2 1.00 17 0.118
24 A 3 2 1.00 17 0.118
25 A 2 1 1.00 7 0.143
26 A 3 2 1.00 28 0.071
27 A 3 2 1.00 24 0.083
28 A 3 2 1.00 22 0.091
29 A 3 2 1.00 19 0.105
30 A 2 2 1.00 6 0.333
31 A 3 2 1.00 23 0.087
32 A 3 2 1.00 24 0.083
33 A 3 2 1.00 33 0.061
34 A 3 2 1.00 28 0.071
35 A 3 2 1.00 23 0.087
36 A 3 2 1.00 24 0.083
37 A 2 2 1.00 8 0.250
38 A 3 2 1.00 28 0.071
39 A 3 2 1.00 25 0.080
40 A 2 2 1.00 33 0.061
41 A 3 2 1.00 25 0.080
42 A 3 2 1.00 26 0.077
43 A 3 2 1.00 24 0.083
44 A 2 2 1.00 8 0.250
45 A 3 2 1.00 28 0.071
46 A 3 2 1.00 28 0.071
47 A 3 2 1.00 28 0.071
48 A 3 2 1.00 15 0.133
49 A 3 2 1.00 30 0.067
50 A 3 2 1.00 17 0.118
51 A 3 2 1.00 30 0.067
52 A 3 2 1.00 17 0.118
53 A 3 3 1.00 17 0.176
54 A 3 3 1.00 15 0.200
55 A 2 1 1.00 19 0.053
56 A 3 3 1.00 19 0.158
57 A 3 3 1.00 19 0.158
58 A 3 3 1.00 17 0.176
59 A 3 3 1.00 15 0.200
60 A 3 2 1.00 19 0.105
61 A 3 3 1.00 19 0.158
62 A 3 3 1.00 19 0.158
63 A 3 3 1.00 15 0.200
64 A 2 1 1.00 19 0.053
65 A 3 3 1.00 15 0.200
66 A 3 2 1.00 19 0.105
67 A 3 3 1.00 15 0.200
68 A 3 2 1.00 19 0.105
69 A 3 3 1.00 15 0.200
70 A 3 2 1.00 21 0.095
71 A 2 2 1.00 21 0.095
72 A 2 2 1.00 21 0.095
73 A 1 1 1.00 19 0.053
74 A 3 3 0.97 23 0.130
75 A 3 3 0.97 23 0.130
76 A 3 3 1.00 23 0.130
77 A 3 3 0.97 23 0.130
78 A 3 3 0.97 23 0.130
79 A 3 3 1.00 21 0.143
80 A 3 3 1.00 17 0.176
81 A 3 3 1.00 15 0.200
82 A 3 3 1.00 13 0.231
83 A 2 1 1.00 17 0.059
84 A 3 3 1.00 17 0.176
85 A 3 3 1.00 17 0.176
86 A 1 1 1.00 15 0.067
87 A 1 1 1.00 13 0.077
88 A 1 1 1.00 11 0.091
89 A 2 1 1.00 15 0.067
90 A 1 1 1.00 15 0.067
91 A 2 2 1.00 17 0.118
92 A 2 2 1.00 15 0.133
93 A 2 2 1.00 13 0.154
94 A 3 2 1.00 17 0.118
95 A 2 2 1.00 17 0.118
96 A 2 2 1.00 17 0.118
97 A 2 2 1.00 15 0.133
98 A 2 2 1.00 13 0.154
99 A 3 1 1.00 17 0.059
100 A 2 2 1.00 17 0.118
101 A 3 2 1.00 13 0.154
102 A 4 2 1.00 17 0.118
103 A 2 1 1.00 7 0.143
104 A 3 2 1.00 28 0.071
105 A 3 2 1.00 19 0.105
106 A 3 2 1.00 33 0.061
107 A 3 2 1.00 24 0.083
108 A 2 2 1.00 33 0.061
109 A 3 2 1.00 24 0.083
110 A 3 3 1.00 15 0.200
111 A 2 1 1.00 19 0.053
112 A 3 3 1.00 15 0.200
113 A 3 2 1.00 19 0.105
114 A 3 3 1.00 15 0.200
115 A 3 2 1.00 19 0.105
116 A 3 3 1.00 15 0.200
117 A 2 1 1.00 19 0.053
118 A 3 3 1.00 15 0.200
119 A 3 2 1.00 19 0.105
120 A 3 3 1.00 15 0.200
121 A 3 2 1.00 19 0.105
122 A 3 3 1.00 15 0.200
123 A 3 2 0.98 17 0.118
124 A 2 2 1.00 17 0.118
125 A 2 2 1.00 17 0.118
126 A 1 1 1.00 15 0.067
127 A 3 3 0.97 19 0.158
128 A 3 3 0.98 19 0.158
129 A 3 3 1.00 19 0.158
130 A 3 3 0.97 19 0.158
131 A 3 3 0.97 19 0.158
132 A 3 3 1.00 21 0.143
133 A 3 3 1.00 15 0.200
134 A 3 3 1.00 13 0.231
135 F 0 0 N/A 0 N/A
136 F 0 0 N/A 0 N/A
137 F 0 0 N/A 0 N/A
138 F 0 0 N/A 0 N/A
139 A 2 1 1.00 13 0.077
140 F 0 0 N/A 0 N/A
141 F 0 0 N/A 0 N/A
142 F 0 0 N/A 0 N/A
143 F 0 0 N/A 0 N/A
144 F 0 0 N/A 0 N/A
145 F 0 0 N/A 0 N/A
146 F 0 0 N/A 0 N/A
147 A 3 2 1.00 15 0.133
148 F 0 0 N/A 0 N/A
149 F 0 0 N/A 0 N/A
150 F 0 0 N/A 0 N/A
151 F 0 0 N/A 0 N/A
152 F 0 0 N/A 0 N/A
153 F 0 0 N/A 0 N/A
154 F 0 0 N/A 0 N/A
155 F 0 0 N/A 0 N/A
156 F 0 0 N/A 0 N/A
157 F 0 0 N/A 0 N/A
158 F 0 0 N/A 0 N/A
159 F 0 0 N/A 0 N/A
160 F 0 0 N/A 0 N/A
161 F 0 0 N/A 0 N/A
162 A 2 1 1.00 17 0.059
163 F 0 0 N/A 0 N/A
164 F 0 0 N/A 0 N/A
165 F 0 0 N/A 0 N/A
166 F 0 0 N/A 0 N/A
167 F 0 0 N/A 0 N/A
168 F 0 0 N/A 0 N/A
169 A 3 2 1.00 19 0.105
170 F 0 0 N/A 0 N/A
171 F 0 0 N/A 0 N/A
172 A 3 2 1.00 17 0.118
173 A 4 2 1.00 17 0.118
174 A 4 2 1.00 17 0.118
175 F 0 0 N/A 0 N/A
176 F 0 0 N/A 0 N/A
177 F 0 0 N/A 0 N/A
178 F 0 0 N/A 0 N/A
179 F 0 0 N/A 0 N/A
180 A 13 9 1.00 19 0.474
181 A 13 9 1.00 19 0.474
182 A 12 8 1.00 19 0.421
183 A 12 8 1.00 19 0.421
184 A 13 9 1.00 19 0.474
185 A 13 9 1.00 19 0.474
186 F 0 0 N/A 0 N/A
187 F 0 0 N/A 0 N/A
188 F 0 0 N/A 0 N/A
189 F 0 0 N/A 0 N/A
190 A 2 1 1.00 13 0.077
191 F 0 0 N/A 0 N/A
192 F 0 0 N/A 0 N/A
193 F 0 0 N/A 0 N/A
194 F 0 0 N/A 0 N/A
195 F 0 0 N/A 0 N/A
196 F 0 0 N/A 0 N/A
197 F 0 0 N/A 0 N/A
198 A 3 2 1.00 15 0.133
199 F 0 0 N/A 0 N/A
200 F 0 0 N/A 0 N/A
201 F 0 0 N/A 0 N/A
202 F 0 0 N/A 0 N/A
203 F 0 0 N/A 0 N/A
204 F 0 0 N/A 0 N/A
205 F 0 0 N/A 0 N/A
206 F 0 0 N/A 0 N/A
207 F 0 0 N/A 0 N/A
208 F 0 0 N/A 0 N/A
209 F 0 0 N/A 0 N/A
210 F 0 0 N/A 0 N/A
211 F 0 0 N/A 0 N/A
212 F 0 0 N/A 0 N/A
213 A 2 1 1.00 17 0.059
214 F 0 0 N/A 0 N/A
215 F 0 0 N/A 0 N/A
216 F 0 0 N/A 0 N/A
217 F 0 0 N/A 0 N/A
218 F 0 0 N/A 0 N/A
219 F 0 0 N/A 0 N/A
220 A 3 2 1.00 19 0.105
221 F 0 0 N/A 0 N/A
222 F 0 0 N/A 0 N/A
223 A 3 2 1.00 17 0.118
224 A 4 2 1.00 17 0.118
225 A 4 2 1.00 17 0.118
226 F 0 0 N/A 0 N/A
227 F 0 0 N/A 0 N/A
228 F 0 0 N/A 0 N/A
229 F 0 0 N/A 0 N/A
230 F 0 0 N/A 0 N/A
231 A 13 9 1.00 19 0.474
232 A 13 9 1.00 19 0.474
233 A 12 8 1.00 19 0.421
234 A 12 8 1.00 19 0.421
235 A 13 9 1.00 19 0.474
236 A 13 9 1.00 19 0.474
237 A 3 3 1.00 15 0.200
238 A 3 3 1.00 13 0.231
239 A 3 3 1.00 11 0.273
240 A 2 1 1.00 15 0.067
241 A 3 3 1.00 15 0.200
242 A 3 3 1.00 15 0.200
243 A 3 3 1.00 17 0.176
244 A 3 3 1.00 15 0.200
245 A 3 3 1.00 13 0.231
246 A 3 2 1.00 17 0.118
247 A 3 3 1.00 17 0.176
248 A 3 3 1.00 17 0.176
249 A 3 3 1.00 15 0.200
250 A 3 3 1.00 13 0.231
251 A 3 2 1.00 17 0.118
252 A 3 3 1.00 17 0.176
253 A 3 3 1.00 17 0.176
254 A 3 3 1.00 15 0.200
255 A 3 3 1.00 13 0.231
256 A 3 1 1.00 17 0.059
257 A 3 3 1.00 17 0.176
258 A 3 3 1.00 17 0.176
259 C 7 3 4.27 44 0.068
260 C 3 3 1.33 31 0.097
261 A 3 3 1.00 17 0.176
262 A 3 3 0.83 17 0.176
263 A 3 3 1.00 17 0.176
264 A 3 3 1.00 23 0.130
265 A 3 3 1.00 23 0.130
266 A 3 3 1.00 15 0.200
267 A 3 2 1.00 19 0.105
268 A 3 3 1.00 15 0.200
269 A 4 3 1.00 19 0.158
270 A 3 3 1.00 15 0.200
271 A 4 3 1.00 19 0.158
272 A 3 3 1.00 15 0.200
273 A 3 2 1.00 19 0.105
274 A 3 3 1.00 15 0.200
275 A 4 3 1.00 19 0.158
276 A 3 3 1.00 15 0.200
277 A 4 3 1.00 19 0.158
278 A 3 3 1.00 17 0.176
279 A 3 3 1.00 17 0.176
280 A 3 3 0.96 15 0.200
281 A 3 3 0.97 19 0.158
282 A 3 3 0.97 19 0.158
283 A 3 3 1.00 19 0.158
284 A 3 3 0.98 19 0.158
285 A 3 3 0.97 19 0.158
286 A 3 3 0.96 21 0.143
287 A 3 3 1.00 15 0.200
288 A 3 3 1.00 13 0.231
289 A 3 3 1.00 15 0.200
290 A 3 3 1.00 13 0.231
291 A 3 3 1.00 11 0.273
292 A 2 1 1.00 15 0.067
293 A 3 3 1.00 15 0.200
294 A 3 3 1.00 15 0.200
295 A 3 3 1.00 13 0.231
296 A 3 2 1.00 17 0.118
297 A 3 3 1.00 13 0.231
298 A 3 2 1.00 17 0.118
299 A 3 3 1.00 13 0.231
300 A 3 1 1.00 17 0.059
301 C 7 3 4.10 44 0.068
302 C 3 3 1.29 31 0.097
303 A 3 3 1.00 17 0.176
304 A 3 3 0.88 17 0.176
305 A 3 3 1.00 17 0.176
306 A 3 3 1.00 23 0.130
307 A 3 3 1.00 23 0.130
308 A 3 3 1.00 15 0.200
309 A 3 2 1.00 19 0.105
310 A 3 3 1.00 15 0.200
311 A 4 3 1.00 19 0.158
312 A 3 3 1.00 15 0.200
313 A 4 3 1.00 19 0.158
314 A 3 3 1.00 15 0.200
315 A 3 2 1.00 19 0.105
316 A 3 3 1.00 15 0.200
317 A 4 3 1.00 19 0.158
318 A 3 3 1.00 15 0.200
319 A 4 3 1.00 19 0.158
320 A 3 3 1.00 21 0.143
321 A 3 3 1.00 21 0.143
322 A 3 3 0.96 19 0.158
323 A 3 3 0.97 19 0.158
324 A 3 3 0.97 19 0.158
325 A 3 3 1.00 19 0.158
326 A 3 3 0.98 19 0.158
327 A 3 3 0.97 19 0.158
328 A 3 3 0.96 21 0.143
329 A 3 3 1.00 15 0.200
330 A 3 3 1.00 13 0.231

[next] [prev] [prev-tail] [front] [up]